Bounded Verification of Adaptive Flight Control Systems
نویسنده
چکیده
We formally verify a direct model-reference adaptive control (MRAC) method that is used to enable flight control in adverse conditions. We use the bounded verification approach and verify the system by introducing templates for both the assumptions and the guarantees, and using the tool QEPCAD to solve the resulting exists-forall formula. We also present results from an analysis performed on indirect and hybrid adaptive flight controllers.
منابع مشابه
DIRECT ADAPTIVE FUZZY PI SLIDING MODE CONTROL OF SYSTEMS WITH UNKNOWN BUT BOUNDED DISTURBANCES
An asymptotically stable direct adaptive fuzzy PI sliding modecontroller is proposed for a class of nonlinear uncertain systems. In contrast toother existing approaches of handling disturbances, the proposed approachdoes not require this bound to be known, only requiring that it exists.Moreover, a PI control structure is used to attenuate chattering. The approachis applied to stabilize an open-...
متن کاملFormally Analyzing Adaptive Flight Control
We formally verify a direct model-reference adaptive control (MRAC) method that is used to enable flight control in adverse conditions. We use the bounded verification approach and verify the system by introducing templates for both the assumptions and the guarantees, and using QEPCAD to solve the resulting ∃∀ formula.
متن کاملAdaptive Flight Control System: Flight Evaluation and Technology Transition
Certification of adaptive control technologies for both manned and unmanned aircraft represent a major challenge for current Verification and Validation techniques. A (missing) key step towards flight certification of adaptive flight control systems is the definition and development of analysis tools and methods to support Verification and Validation for nonlinear systems, similar to the proced...
متن کاملVerifiable Adaptive Flight Control: UCAV and Aerial Refueling
This paper presents application of L1 adaptive controller to two benchmark flight control applications. The benefit of the proposed adaptive control approach is its promise for development of theoretically justified tools for Verification and Validation (V&V) of adaptive systems. It has apriori predictable performance bounds and guaranteed, bounded away from zero, time-delay margin in the prese...
متن کاملComparison of Robust and Probabilistic LMI-Based Design of Adaptive Flight Controllers with Uncertain Input Dynamics
Adaptive control-based schemes have been implemented to date in a variety of different applications. However, the ability to obtain a predictable transient closed-loop performance in adaptive systems is still a challenging problem from a verification and validation point of view. To face this problem we have recently introduced an analysis and design framework for adaptive control systems in th...
متن کامل